#include <asm/shadow.h>
#include <xen/console.h>
#include <xen/elf.h>
+#include <asm/vmx.h>
+#include <asm/vmx_vmcs.h>
+#include <xen/kernel.h>
+#include <public/io/ioreq.h>
#include <xen/multicall.h>
+ /* opt_noreboot: If true, machine will need manual reset on error. */
+ static int opt_noreboot = 0;
+ boolean_param("noreboot", opt_noreboot);
+
#if !defined(CONFIG_X86_64BITMODE)
/* No ring-3 access in initial page tables. */
#define L1_PROT (_PAGE_PRESENT|_PAGE_RW|_PAGE_ACCESSED)
t_timer[i].function = &t_timer_fn;
}
- schedule_data[0].idle = &idle0_task;
+ schedule_data[0].idle = &idle0_exec_domain;
- extern char opt_sched[];
-
for ( i = 0; schedulers[i] != NULL; i++ )
{
ops = *schedulers[i];